9cbfc1a1c01051182abd425b40d4ee8b9d6249e8,source/de/anomic/http/server/HTTPDProxyHandler.java,HTTPDProxyHandler,doConnect,#HashMap#RequestHeader#InputStream#OutputStream#,1186

Before Change


        if ((pos = host.indexOf(':')) < 0) {
            port = 80;
        } else {
            port = NumberTools.parseIntDecSubstring(host, pos + 1);
            host = host.substring(0, pos);
        }

After Change


        if ((pos = host.indexOf(':')) < 0) {
            port = 80;
        } else {
            port = Integer.parseInt(host.substring(pos + 1));
            host = host.substring(0, pos);
        }